/* 
WOO CUSTOM STYLESHEET
---------------------

Instructions:

Add your custom styles at the end of this file instead 
of style.css so it is easier to update the theme. 
Simply copy an existing style from style.css to this file, 
and modify it to your liking.
*/


/*
     FILE ARCHIVED ON 08:36:03 Feb 03, 2019 AND RETRIEVED FROM THE
     INTERNET ARCHIVE ON 20:07:59 Jul 03, 2022.
     JAVASCRIPT APPENDED BY WAYBACK MACHINE, COPYRIGHT INTERNET ARCHIVE.

     ALL OTHER CONTENT MAY ALSO BE PROTECTED BY COPYRIGHT (17 U.S.C.
     SECTION 108(a)(3)).
*/
/*
playback timings (ms):
  captures_list: 70.673
  exclusion.robots: 0.108
  exclusion.robots.policy: 0.101
  RedisCDXSource: 0.524
  esindex: 0.006
  LoadShardBlock: 47.004 (3)
  PetaboxLoader3.datanode: 186.265 (5)
  CDXLines.iter: 19.432 (3)
  load_resource: 279.658 (2)
  PetaboxLoader3.resolve: 93.951 (2)
*/